This is a preliminary report on a set of techniques for translating the dis-course representation structures (DRSes) of Kamp (1981) into semantically equivalent clauses in a slightly extended form of Prolog. Together with dis-course representation theory (DRT) itself, these techniques yield a system fo
Discourse Representation Theory (DRT) is a formal account for representing the meaning of natural la...
DRT - Discourse Representation TheorySIGLEAvailable from British Library Document Supply Centre- DSC...
Since the early 1990s, the semanticist Reinhard Muskens has advocated the use of the TYn family of h...
This article gives a survey of Discourse Representation Theory (DRT), including recent developments,...
Discourse Representation Theory (DRT) was developed by Hans Kamp 1981 in order to combine “a definit...
This article gives a survey of Discourse Representation Theory (DRT), including recent developments,...
This paper describes a number of “toy ” MT systems written in Prolog, designed as programming exerci...
This paper describes and discusses the formalism which forms the backbone of semantic processing in ...
Hamm, Kamp, and van Lambalgen 2006 (hereafter HKL) propose to relate NL discourse to cognitive repre...
This paper uses classical logic for a simultaneous description of the syntax and semantics of a frag...
We introduce PDRT-SANDBOX, a Haskell library that implements Projective Dis- course Representation T...
In this paper we want to argue that important parts of the DRT [Kam81, KR93] construction algorithm ...
We take a fresh, "clean-room" look at implementing Prolog by deriving its translation to an executab...
This book presents a detailed formal machinery for the conversion of the Semantic Analyses (SAs) of ...
Introduction and abstract Government and Binding theory (Chomsky 1981, Sells 1985) plays a dominant ...
Discourse Representation Theory (DRT) is a formal account for representing the meaning of natural la...
DRT - Discourse Representation TheorySIGLEAvailable from British Library Document Supply Centre- DSC...
Since the early 1990s, the semanticist Reinhard Muskens has advocated the use of the TYn family of h...
This article gives a survey of Discourse Representation Theory (DRT), including recent developments,...
Discourse Representation Theory (DRT) was developed by Hans Kamp 1981 in order to combine “a definit...
This article gives a survey of Discourse Representation Theory (DRT), including recent developments,...
This paper describes a number of “toy ” MT systems written in Prolog, designed as programming exerci...
This paper describes and discusses the formalism which forms the backbone of semantic processing in ...
Hamm, Kamp, and van Lambalgen 2006 (hereafter HKL) propose to relate NL discourse to cognitive repre...
This paper uses classical logic for a simultaneous description of the syntax and semantics of a frag...
We introduce PDRT-SANDBOX, a Haskell library that implements Projective Dis- course Representation T...
In this paper we want to argue that important parts of the DRT [Kam81, KR93] construction algorithm ...
We take a fresh, "clean-room" look at implementing Prolog by deriving its translation to an executab...
This book presents a detailed formal machinery for the conversion of the Semantic Analyses (SAs) of ...
Introduction and abstract Government and Binding theory (Chomsky 1981, Sells 1985) plays a dominant ...
Discourse Representation Theory (DRT) is a formal account for representing the meaning of natural la...
DRT - Discourse Representation TheorySIGLEAvailable from British Library Document Supply Centre- DSC...
Since the early 1990s, the semanticist Reinhard Muskens has advocated the use of the TYn family of h...